A Constraint Solver for Flexible Protein Model
نویسندگان
چکیده
منابع مشابه
A Constraint Solver for Flexible Protein Models
This paper proposes the formalization and implementation of a novel class of constraints aimed at modeling problems related to placement of multi-body systems in the 3-dimensional space. Each multi-body is a system composed of body elements, connected by joint relationships and constrained by geometric properties. The emphasis of this investigation is the use of multi-body systems to model nati...
متن کاملA Flexible Meta-solver Framework for Constraint Solver Collaboration
The solving of multi-domain constraint problems with the help of collaborating solvers has seen extended interest in recent years. We describe the implementation (Meta-S) and extension of a previously proposed theoretical framework of cooperating constraint solvers. Meta-S allows the dynamic integration of arbitrary external (stand-alone) solvers to enable the collaborative processing of constr...
متن کاملA Constraint Solver for Heaps with Separation
This paper introduces a constraint language H for finite partial maps (a.k.a. heaps) that incorporates the notion of separation from Separation Logic. The motivation behind H is reasoning over heap manipulating programs using constraint-based symbolic execution. For this we present a modest extension of Hoare Logic that inherits many of the benefits from Separation Logic, such as local reasonin...
متن کاملA Complete Solver for Constraint Games
1 Game Theory studies situations in which multiple agents having conflicting objectives have to reach a collective decision. The question of a compact representation language for agents utility function is of crucial importance since the classical representation of a n-players game is given by a n-dimensional matrix of exponential size for each player. In this paper we use the framework of Cons...
متن کاملA Constraint Solver Synthesiser: Case for Support
This document is the case for support for Grant number EP/H004092/1, funded by the EPSRC in the UK. Our aim is to improve dramatically the scalability of constraint technology, while removing its reliance on manual tuning by an expert. This aim will be realised through the development of a constraint solver synthesiser, the principal components of which are a Model Analyser, a Constraint Solver...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Artificial Intelligence Research
سال: 2013
ISSN: 1076-9757
DOI: 10.1613/jair.4193